#ifndef _DEBUG_H_
#define _DEBUG_H_

#include "config.h"

void debug_putc(char ch);

void debug_print(const char *format, int16_t number);
void debug_output_1000ms(void);

#endif

